大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Meeting on Mathematical Aspects of Finite Element Methods 的图书(共4761本)

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

0
索取号：
作者：Eleftherakis、 George.、Hinchey、 Mike.、Holcombe、 Mike.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Network Security [electronic resource] : 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings

0
索取号：
作者：Kotenko、 Igor.、Skormin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Practical Aspects of Design Science [electronic resource] : European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

0
索取号：
作者：Helfert、 Markus.、Donnellan、 Brian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Instruments and Methods for the Radio Detection of High Energy Cosmic Rays [electronic resource]

0
索取号：
作者：Schr枚der、 Frank G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Methods in Systems Biology [electronic resource] : 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings

0
索取号：
作者：Gilbert、 David.、Heiner、 Monika.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Recent Advances in the Message Passing Interface [electronic resource] : 19th European MPI Users鈥Dzoup Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings

0
索取号：
作者：Tr盲ff、 Jesper Larsson.、Benkner、 Siegfried.、Dongarra、 Jack J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

0
索取号：
作者：Kahl、 Wolfram.、Griffin、 Timothy G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

0
索取号：
作者：Gheyi、 Rohit.、Naumann、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Theoretical Aspects of Computing-ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

0
索取号：
作者：Roychoudhury、 Abhik.、D鈥橲ouza、 Meenakshi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 鈥pril 1, 2012, Revised Selected Papers

0
索取号：
作者：Pattinson、 Dirk.、Schr枚der、 Lutz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

0
索取号：
作者：Giannakopoulou、 Dimitra.、M茅ry、 Dominique.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

0
索取号：
作者：Rovan、 Branislav.、Sassone、 Vladimiro.、Widmayer、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Foundational and Practical Aspects of Resource Analysis [electronic resource] : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

0
索取号：
作者：Pe帽a、 Ricardo.、Eekelen、 Marko.、Shkaravska、 Olha.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Methods for Physicists [electronic resource] : Compendium for Students

0
索取号：
作者：Sirca、 Simon.、Horvat、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

0
索取号：
作者：Stoelinga、 Mari毛lle.、Pinger、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.